翻訳と辞書
Words near each other
・ Axiom of countable choice
・ Axiom of dependent choice
・ Axiom of determinacy
・ Axiom of empty set
・ Axiom of Equity
・ Axiom of extensionality
・ Axiom of global choice
・ Axiom of infinity
・ Axiom of limitation of size
・ Axiom of Maria
・ Axiom of pairing
・ Axiom of power set
・ Axiom of projective determinacy
・ Axiom of real determinacy
・ Axiom of reducibility
Axiom of regularity
・ Axiom of union
・ Axiom S5
・ Axiom schema
・ Axiom schema of predicative separation
・ Axiom schema of replacement
・ Axiom schema of specification
・ Axiom Telecom
・ Axiom Verge
・ Axiom-man
・ Axioma
・ Axioma Ethica Odini
・ Axiomatic (album)
・ Axiomatic (disambiguation)
・ Axiomatic (story collection)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Axiom of regularity : ウィキペディア英語版
Axiom of regularity
In mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set ''A'' contains an element that is disjoint from ''A''. In first-order logic the axiom reads:
: \forall x\,(x \neq \varnothing \rightarrow \exists y \in x\,(y \cap x = \varnothing)).
The axiom implies that no set is an element of itself, and that there is no infinite sequence (''an'') such that ''ai+1'' is an element of ''ai'' for all ''i''. With the axiom of dependent choice (which is a weakened form of the axiom of choice), this result can be reversed: if there are no such infinite sequences, then the axiom of regularity is true. Hence, the axiom of regularity is equivalent, given the axiom of dependent choice, to the alternative axiom that there are no downward infinite membership chains.
The axiom of regularity was introduced by ; it was adopted in a formulation closer to the one found in contemporary textbooks by . Virtually all results in the branches of mathematics based on set theory hold even in the absence of regularity; see chapter 3 of . However, regularity makes some properties of ordinals easier to prove; and it not only allows induction to be done on well-ordered sets but also on proper classes that are well-founded relational structures such as the lexicographical ordering on \ \,.
Given the other axioms of Zermelo–Fraenkel set theory, the axiom of regularity is equivalent to the axiom of induction. The axiom of induction tends to be used in place of the axiom of regularity in intuitionistic theories (ones that do not accept the law of the excluded middle), where the two axioms are not equivalent.
In addition to omitting the axiom of regularity, non-standard set theories have indeed postulated the existence of sets that are elements of themselves.
==Elementary implications of regularity==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Axiom of regularity」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.